Liên kết ngoài Triết học toán học

Wikiquote có sưu tập danh ngôn về:

:en:Philosophy of mathematics

Bản mẫu:PhilPapers
Bản mẫu:InPho
Philosophy of Mathematics - mục từ tại Stanford Encyclopedia of Philosophy
Bản mẫu:Cite IEP
- Bản mẫu:Cite IEP
The London Philosophy Study Guide offers many suggestions on what to read, depending on the student's familiarity with the subject:
R.B. Jones' philosophy of mathematics page
Triết học toán học trên DMOZ
The Philosophy of Real Mathematics Blog
Kaina Stoicheia by C.S. Peirce.

Tổng quan

Lĩnh vực giáo dục

• Axiology • Tư duy phản biện • Lý thuyết tính toán • Formal semantics • Lịch sử logic • Informal logic • Logic in computer science • Logic toán • Toán học • Metalogic • Metamathematics • Model theory • Logic triết học • Triết học • Philosophy of logic • Triết học của toán học • Proof theory

• Lý thuyết tập hợp

Nền tảng

• Abduction

• Analytic truth • Antinomy • Tiên nghiệm • Suy diễn logic • Định nghĩa • Description • Lập luận quy nạp • Suy luận • Logical form • Logical consequence • Logical truth • Tên gọi • Necessity • Meaning • Nghịch lý • Possible world • Presupposition • Xác suất • Lý tính • Lý tínhing • Tham khảo • Ngữ nghĩa học • Statement • Strict implication • Substitution • Syntax • Chân lý • Truth value

• Validity

Lý luận triết học

Tư duy phản biện Informal logic	• Analysis • Ambiguity • Luận cứ • Tín ngưỡng • Thiên kiến • Credibility • Evidence • Explanation • Explanatory power • Sự thật • Ngụy biện • Inquiry • Ý kiến • Dao cạo Ockham • Premise • Tuyên truyền • Prudence • Lý tính • Relevance • Tu từ học • Rigor • Vagueness
Lý luận triết học	• Constructivism • Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng • Chủ nghĩa duy thực

• Định lý đường chéo Cantor

• Church's theorem • Church's thesis • Consistency • Effective method • Foundations of mathematics • Gödel's completeness theorem • Gödel's incompleteness theorems • Soundness • Completeness • Decidability • Interpretation • Löwenheim–Skolem theorem • Metatheorem • Satisfiability • Independence • Type–token distinction

• Use–mention distinction

Logic toán

General	• Ngôn ngữ hình thức • Formation rule • Formal system • Deductive system • Formal proof • Formal semantics • Well-formed formula • Tập hợp • Element • Class • Classical logic • Tiên đề • Natural deduction • Rule of inference • Quan hệ (toán học) • Định lý toán học • Logical consequence • Axiomatic system • Type theory • Symbol • Syntax • Theory
Thuật ngữ lý luận học	• Mệnh đề toán học • Inference • Luận cứ logic • Validity • Cogency • Tam đoạn luận • Square of opposition • Sơ đồ Venn
Propositional calculus Đại số Boole	• Boolean functions • Propositional calculus • Propositional formula • Logical connectives • Truth tables
Predicate logic	• First-order • Quantifiers • Predicate • Second-order • Monadic predicate calculus
Lý thuyết tập hợp	• Tập hợp • Tập hợp rỗng • Enumeration • Extensionality • Finite set • Hàm số • Tập hợp con • Tập lũy thừa • Tập hợp đếm được • Recursive set • Tập xác định • Range • Ordered pair • Uncountable set
Lý thuyết mô hình	• Model • Interpretation • Non-standard model • Finite model theory • Truth value • Validity
Lý thuyết chứng minh	• Formal proof • Deductive system • Formal system • Định lý toán học • Logical consequence • Rule of inference • Syntax
Computability theory	• Recursion • Recursive set • Recursively enumerable set • Decision problem • Church–Turing thesis • Computable function • Primitive recursive function

Lý luận học phi cổ điển

Modal logic	• Alethic • Axiologic • Deontic • Doxastic • Epistemic • Temporal
Intuitionism	• Intuitionistic logic • Constructive analysis • Heyting arithmetic • Intuitionistic type theory • Constructive set theory
Logic mờ	• Degree of truth • Fuzzy rule • Tập mờ • Fuzzy finite element • Fuzzy set operations
Substructural logic	• Structural rule • Relevance logic • Linear logic
Paraconsistent logic	• Dialetheism
Logic mô tả	• Bản thể luận • Ontology language

Danh sách các nhà lý luận học

• Anderson

• Aristoteles • Averroes • Avicenna • Bain • Barwise • Bernays • George Boole • Boolos • Georg Cantor • Carnap • Church • Chrysippus • Curry • De Morgan • Gottlob Frege • Geach • Gentzen • Kurt Gödel • David Hilbert • Kleene • Kripke • Gottfried Leibniz • Löwenheim • Giuseppe Peano • Charles Sanders Peirce • Hilary Putnam • Quine • Bertrand Russell • Schröder • John Duns Scotus • Skolem • Smullyan • Tarski • Alan Turing • Whitehead • William xứ Ockham • Ludwig Wittgenstein

• Zermelo

Danh sách

Chủ đề	• Index of logic articles • Mathematical logic • Boolean algebra • Set theory
Other	• Logicians • Rules of inference • Paradoxes • Fallacies • Logic symbols

Common logical symbols
& ∨ ¬ ~ → ⊃ ≡ \| ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

• Portal

• Thể loại • Outline • WikiProject • Talk

changes

Các chủ đề của toán học

Lịch sử · Đại cương · Danh sách

Nền tảng

Thuần tuý

Đại số	Đa tuyến tính Sơ cấp Trừu tượng Tuyến tính Vũ trụ
Giải tích	Giải tích hàm Giải tích phức Giải tích thực Phương trình vi phân Vi tích phân
Hình học	Đại số Euclid Giải tích Hữu hạn Rời rạc Vi phân
Lý thuyết số	Đại số Giải tích Số học
Tô pô	Đại số Hình học Rời rạc Vi phân

Rời rạc

Tính toán

Ứng dụng

Thể loại · Chủ đề · Commons · Dự án

Triết học phân tích

Areas of focus	Language Toán học Khoa học Postanalytic
Turns	Aretaic Linguistic
Logic	Classical Logic toán Non-classical Philosophical

Theories

Concepts

Modality	Actualism Necessity Possibility Possible world Realism Rigid designator

Philosophers

Cambridge	Charlie Broad Norman Malcolm G. E. Moore Bertrand Russell Frank P. Ramsey John Wisdom Ludwig Wittgenstein
Oxford	G. E. M. Anscombe J. L. Austin A. J. Ayer Michael Dummett Antony Flew Philippa Foot Peter Geach Paul Grice R. M. Hare Gilbert Ryle P. F. Strawson Richard Swinburne Bernard Williams Timothy Williamson
Berlin Circle	Carl Gustav Hempel Hans Reichenbach
Vienna Circle	Rudolf Carnap Kurt Gödel Otto Neurath Moritz Schlick
Harvard	Roderick Chisholm Noam Chomsky Donald Davidson Daniel Dennett Nelson Goodman Christine Korsgaard Thomas Kuhn David Lewis Robert Nozick Hilary Putnam W. V. O. Quine
Pittsburgh School	Robert Brandom John McDowell Wilfrid Sellars
Notre Dame	Peter van Inwagen Alvin Plantinga

Tiêu đề chuẩn	LCCN: sh85082153